Disjunction and existence properties